Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
881	Experiments with Branching using General Disjunctions A. Mahajan∗ T.K Ralphs † Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2010-06-19 14:25:53 Combinatorial optimization Operations research Mathematical logic Linear programming Linear programming relaxation Cutting-plane method Algorithm Branch and bound Branch and cut Mathematical optimization Mathematics Theoretical computer science
882	DRA FRONT END FILTER PROJECT Proposal for Phase 2 Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:49 ALGOL 68 Transact-SQL Proof assistant KeY Logic Database Data management Computing Programming language theory
883	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-05-29 03:59:19 Constraint programming Logic in computer science Automated theorem proving Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Uninterpreted function Decision problem Theoretical computer science Mathematics Applied mathematics
884	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
885	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lisp programming language Procedural programming languages Lambda calculus Cross-platform software Name binding Append Scheme Combinatory logic Scope Software engineering Computing Computer programming
886	PDF Document Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 Data types Pointer C Predicate Logic programming Pascal Dangling pointer Software engineering Computing Computer programming
887	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:10 Algorithms Theoretical computer science Analysis of algorithms Knowledge representation Mathematical logic The Art of Computer Programming Donald Knuth Tree Randomized algorithm Computing Computer science Computer programming
888	PDF Document Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Procedural programming languages Data types Type theory Cross-platform software Notation Programming language C Mathematical logic Formal language Programming language theory Software engineering Computing
889	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:17 Sorting algorithms Theoretical computer science Mathematical logic Programming idioms Operations research Quicksort Selection algorithm Merge sort Algorithm Mathematics Applied mathematics Computer programming
890	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 PreScheme Scheme programming language Logic in computer science Compiler construction Programming language semantics Source code Software engineering Computer programming Computing

UPDATE